Automated Reporting of Code Quality Issues in Student Submissions
- Creator: Karnalim, Oscar , ., Simon , Chivers, William , Panca, Billy Susanto
- Resource Type: book chapter
- Date: 2023
Ares: Inferring error specifications through static analysis
- Creator: Li, Chi , Zhou, Min , Gu, Zuxing , Gu, Ming , Zhang, Hongyu
- Resource Type: conference paper
- Date: 2019
Malytics: a malware detection scheme
- Creator: Yousefi-Azar, Mahmood , Hamey, Leonard G. C. , Varadharajan, Vijay , Chen, Shiping
- Resource Type: journal article
- Date: 2018
Checking enforcement of integrity constraints in database applications based on code patterns
- Creator: Zhang, Hongyu , Tan, Hee Beng Kuan , Zhang, Lu , Lin, Xi , Wang, Xiaoyin , Zhang, Chun , Mei, Hongen
- Resource Type: journal article
- Date: 2011